
#include <stdarg.h>

#include "raise.h"

void __print_messages(int dummy, ...)
{
    va_list ap;
    va_start(ap, dummy);
    char *s;
    while ((s = va_arg(ap, char*)) != NULL)
        fprintf(stderr, "%s", s);
}
